In der Mathematik ist eine Quasigruppe ein Magma mit einer binären Verknüpfung , in der für alle und in die Gleichungen
und
jeweils genau eine Lösung für und haben. Das heißt, eine Lösung existiert und ist eindeutig.
Eine Quasigruppe ist von Strukturen zu unterscheiden, in denen lediglich die sog. Kürzungseigenschaft (s. u.) gefordert wird. Dort wird zwar auch die Eindeutigkeit der Lösungen dieser Gleichungen gefordert, aber nur falls überhaupt eine Lösung existiert. Mitunter wird gefordert, dass die zugrundeliegende Menge nicht leer ist.
Ein endliches Magma ist genau dann eine Quasigruppe, wenn die Verknüpfungstabelle ein lateinisches Quadrat ist, wenn also in jeder Zeile und in jeder Spalte der Tabelle jedes Element von genau einmal vorkommt.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search